solving SAT question

join shbcf.ru